Dependent Types, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Overpriced Friends
fakenous.substack.com·4d·
Discuss: Substack
How attention markets work
defenderofthebasic.substack.com·2d·
Discuss: Substack